MiKO - Mikado Koncurrent Objects

نویسندگان

  • Francisco Martins
  • Liliana Salvador
  • Vasco Thudichum Vasconcelos
  • Luís M. B. Lopes
چکیده

In this section we introduce the syntax and operational semantics of MiKO. MiKO is a distributed higher order instance of TyCO-calculus [5] based on the MIKADO’s membrane model [2, 3], distributing processes over a flat network of domains. The migration of code from one domain to another passes always through the domains’s membranes. The calculus contains special primitives to handle migration between such domains.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Miniaturisation effects in larvae and adults of Mikado sp. (Coleoptera: Ptiliidae), one of the smallest free-living insects.

We present the first morphological study of larvae and adults of Mikado sp. - one of the smallest known beetles and free-living insects (body length of adult is 390-455microm). Morphological and developmental consequences of miniaturisation in Mikado and insects in general are discussed. We used histological sectioning, scanning electron microscopy, laser confocal microscopy and 3D-computer rec...

متن کامل

MIKADO Global Computing Project IST-2001-32222 Mobile Calculi Based on Domains

This document presents a brief summary of the Mikado project: its scientific and technical objectives, its innovative aspects and expected results, its organization, and its partners.

متن کامل

Modelling the environmental impact of an aluminium pressure die casting plant and options for control

This study describes a model (MIKADO) to analyse options to reduce the environmental impact of aluminium die casting. This model will take a company perspective, so that it can be used as a decision-support tool for the environmental management of a plant. MIKADO can be used to perform scenario analyses to analyse the impact on the environment of different strategies, while taking into account ...

متن کامل

SIMPLE DUAL BRAIDS, NONCROSSING PARTITIONS AND MIKADO BRAIDS OF TYPE Dn

We show that the simple elements of the dual Garside structure of an Artin group of type Dn are Mikado braids, giving a positive answer to a conjecture of Digne and the second author. To this end, we use an embedding of the Artin group of type Dn in a suitable quotient of an Artin group of type Bn noticed by Allcock, of which we give a simple algebraic proof here. This allows one to give a char...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005